Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface R´egis Blanc Viktor Kuncak

Source URL: lampwww.epfl.ch

• Functional languages
• Data types
• Scala
• Satisfiability modulo theories
• Integer
• Lebesgue integration
• Antiderivative
• cole Polytechnique Fdrale de Lausanne

Uniform Boilerplate and List Processing

Source URL: ndmitchell.com

• Software engineering
• Subroutines
• Expected value
• Constructible universe
• Parameter
• Object-oriented programming languages
• Lambda calculus
• Data types

JITProf: Pinpointing JIT-Unfriendly JavaScript Code Liang Gong1 , Michael Pradel2 , and Koushik Sen1 1 2 EECS Department, University of California, Berkeley, USA

Source URL: mp.binaervarianz.de

• Data types
• Compiler construction
• Software optimization
• Cross-platform software
• Java
• Just-in-time compilation
• Profiling
• JavaScript
• Static single assignment form
• Array data type
• Pointer
• Final

Implementing Value Classes in Dotty, a compiler for Scala Author: Guillaume Martres Doctoral Assistant: Dmitry Petrashko Supervisor: Martin Odersky EPFL

Source URL: guillaume.martres.me

• Software engineering
• Computing
• Computer programming
• Functional languages
• C++
• Object-oriented programming languages
• Data types
• Scala
• C Sharp
• C++ classes
• Constant
• Const

LIS-5364 Programming concepts, web admin, and basic networking with Bash “Singular” Data types (scalars, primitives)

Source URL: jrm4.com

Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply)

Source URL: ndmitchell.com

• Data types
• Software engineering
• Computing
• Computer programming
• Functional programming
• Type class
• Type theory
• Haskell features
• Boolean data type

Lesson 17 Pearson’s Correlation Coefficient Outline Measures of Relationships Pearson’s Correlation Coefficient (r) -types of data

Source URL: faculty.uncfsu.edu

Hoogλe Fast Type Searching Neil Mitchell www.cs.york.ac.uk/~ndm/

Source URL: ndmitchell.com

• Software engineering
• Computing
• Computer programming
• Data types
• Finite automata
• Trie
• Haskell
• Edit distance
• Set
• String
• Associative containers

Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Programming language comparisons
• Functional languages
• Monad
• Generic programming
• Type class
• Algebraic data type

Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT

Source URL: karpinski.org

• Software engineering
• Computer programming
• Computing
• Type theory
• Data types
• Polymorphism
• Object-oriented programming
• Subroutines
• Covariance and contravariance
• Parameter
• Type system
• Anonymous function